Николаева Е. А. , Матросова А. Ю. , Кириенко И. Е. , Останин С. А. «Проектирование полностью тестопригодных последовательностных схем для неисправностей задержек путей и кратных константных неисправностей» // Вестник ТГУ. УВТиИ. 2015. №4(33) C.82-90
Yevtushenko N. . , Petrenko A. . «Refining specifications in adaptive testing ofnondeterministic finite state machines » // Вестник ТГУ. УВТиИ. 2009. №1 (6) C.99-114